data Proxy _ = Proxy
